Iterative Algebras for a Base
نویسندگان
چکیده
For algebras A whose type is given by an endofunctor, iterativity means that every flat equation morphism in A has a unique solution. In our previous work we proved that every object generates a free iterative algebra, and we provided a coalgebraic construction of those free algebras. Iterativity w.r.t. an endofunctor was generalized by Tarmo Uustalu to iterativity w.r.t. a “base”, i.e., a functor of two variables yielding finitary monads in one variable. In the current paper we introduce iterative algebras in this general setting, and provide again a coalgebraic construction of free iterative algebras.
منابع مشابه
Bases for parametrized iterativity
Parametrized iterativity of an algebra means the existence of unique solutions of all finitary recursive systems of equations where recursion is allowed to use only some variables (chosen as a parameter). We show how such algebras can be introduced in an arbitrary category A by employing a base, i.e., an operation interpreting objects of A as monads on A. For every base we prove that free base ...
متن کاملGlobally analytic $p$-adic representations of the pro--$p$--Iwahori subgroup of $GL(2)$ and base change, I : Iwasawa algebras and a base change map
This paper extends to the pro-$p$ Iwahori subgroup of $GL(2)$ over an unramified finite extension of $mathbb{Q}_p$ the presentation of the Iwasawa algebra obtained earlier by the author for the congruence subgroup of level one of $SL(2, mathbb{Z}_p)$. It then describes a natural base change map between the Iwasawa algebras or more correctly, as it turns out, between the global distribut...
متن کاملDiagonal Bases in Orlik-solomon Type Algebras
To encode an important property of the “no broken circuit bases” of the Orlik-Solomon-Terao algebras, András Szenes has introduced a particular type of bases, the so called “diagonal basis”. We prove that this definition extends naturally to a large class of algebras, the so called χ-algebras. Our definitions make also use of an “iterative residue formula” based on the matroidal operation of co...
متن کاملElgot Algebras
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of Elgot to base denotational semantics on iterative theories instead, i. e., theories in which abstract recursive specifications are required to have unique solutions. Later Bloom and Ésik studied iteration theories and i...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 122 شماره
صفحات -
تاریخ انتشار 2005